Algorithmics of Posets Generated by Words over Partially Commutative Alphabets
نویسندگان
چکیده
It is natural to try to relate partially ordered sets (posets in short) and classes of equivalent words over partially commutative alphabets. Their common graphical representation are Hasse diagrams. We will investigate this relation in detail and propose an efficient on-line algorithm that decompresses a string to Hasse diagram. Further we propose a definition of the canonical representatives of classes of equivalent words. The advantage of this representation lies in the fact that we can enumerate the classes of equivalent words in a lexicographical order. We will give an algorithm which enumerates all distinct classes of words over partially commutative alphabets by their lexicographically minimal representatives.
منابع مشابه
Algorithmics of Posets Generated by Words Over Partially Commutative Alphabets (Extended)
It is natural to relate partially ordered sets (posets in short) and classes of equivalent words over partially commutative alphabets. Their common graphical representation are Hasse diagrams. We investigate this relation in detail and propose an efficient online algorithm that decompresses a concurrent word to its Hasse diagram. The lexicographically minimal representative of a trace (an equiv...
متن کاملPost Correspondence Problem with Partially Commutative Alphabets
We introduce a version of Post Correspondence Problem (PCP, in short) generalized to words over partially commutative alphabets. Several observations are presented about the algorithmic status of the introduced problem. In particular solvability is shown for the partially commutative PCP for two special cases: the binary case of PCP (denoted by PCP(2) ), and the case with one periodic morphism....
متن کاملNONNIL-NOETHERIAN MODULES OVER COMMUTATIVE RINGS
In this paper we introduce a new class of modules which is closely related to the class of Noetherian modules. Let $R$ be a commutative ring with identity and let $M$ be an $R$-module such that $Nil(M)$ is a divided prime submodule of $M$. $M$ is called a Nonnil-Noetherian $R$-module if every nonnil submodule of $M$ is finitely generated. We prove that many of the properties of Noetherian modul...
متن کاملA NEW CHARACTERIZATION OF ABSOLUTELY PO-PURE AND ABSOLUTELY PURE S-POSETS
In this paper, we investigate po-purity using finitely presented S-posets, and give some equivalent conditions under which an S-poset is absolutely po-pure. We also introduce strongly finitely presented S-posets to characterize absolutely pure S-posets. Similar to the acts, every finitely presented cyclic S-posets is isomorphic to a factor S-poset of a pomonoid S by a finitely generated right con...
متن کاملSubpullbacks and Po-flatness Properties of S-posets
In (Golchin A. and Rezaei P., Subpullbacks and flatness properties of S-posets. Comm. Algebra. 37: 1995-2007 (2009)) study was initiated of flatness properties of right -posets over a pomonoid that can be described by surjectivity of corresponding to certain (sub)pullback diagrams and new properties such as and were discovered. In this article first of all we describe po-flatness propertie...
متن کامل